1. Logic synthesis and verification algorithms
پدیدآورنده : Hachtel, Gary D.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design
رده :
TK
7874
.
75
.
H33
1996